Tom tom - PDFSEARCH.IO - Document Search Engine

Tom tom
Results: 21196

#	Item
21	Automatically Calculating Quantitative Integrity Measures for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information flow Mutual information Conditional mutual information Conditional entropy
22	c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs with Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:06:20 Abstract interpretation Computer science Symbolic execution Thread Algorithm Computing Electrical engineering Computer engineering
23	Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information Information flow Mutual information Conditional entropy Conditional mutual information Quicken Interchange Format Metaphysics Knowledge
24	LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Statistical theory Mathematics Mathematical analysis Entropy Mutual information Expected value Confidence interval Information flow Binomial distribution Conditional entropy Quantities of information
25	Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39
26	LDOW2016: 9th Workshop on Linked Data on the Web Sören Auer Tom Heath University of Bonn, DE Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:21 Computing Semantic Web World Wide Web Consortium Data management Linked data Resource Description Framework RDFa Web Ontology Language Big data Amit Sheth Semantic publishing PoolParty Semantic Suite
27	Assessing the interconnectedness between cross-border shadow banking systems Tom Fong Hong Kong Monetary Authority Angela Sze Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-02-09 01:13:00 Banking Economy Finance Money Bank Economic history of Italy Shadow banking system
28	The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:35:38 Theoretical computer science Mathematics Logic in computer science Mathematical analysis Temporal logic Generalizations of the derivative Computation tree logic Boolean satisfiability problem Symbol Model theory 120-cell Distribution
29	Results from Tom K. Wong1 et al., 2018 National DACA Study Survey fieldedton = 1,050 Methodology Economic Integration Add to Reading List Source URL: cdn.americanprogress.org Language: English - Date: 2018-08-13 16:15:51 Deferred Action for Childhood Arrivals Demographics of the United States Undocumented youth in the United States Retirement Demography United States Population
30	Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle

UPDATE